Aristotle : A System for Research on and Developmentof Program -
نویسندگان
چکیده
SUMMARY Aristotle provides program analysis information and supports the development of software engineering tools. Aristotle's front end consists of parsers that gather control-ow, local data-ow, and symbol table information for C and Java programs. Aristotle tools use the data provided by the front end to perform a variety of tasks, such as data-ow and control-dependence analysis, data-ow testing, regression test selection, graph construction and graph viewing. Parsers and tools use database access routines to store information in, and retrieve it from, a data repository. Users can view analysis data textually or graphically. A user interface provides menu-driven access to tools; many tools can also be invoked directly from applications programs. Most of Aristotle's components function on single procedures and entire programs. We use Aristotle as a platform for developing and experimenting with program analysis, maintenance, and testing tools.
منابع مشابه
Aristotle on the Cause of Being and of Coming to Be
This paper considers Aristotle’s distinction between the cause of being and the cause of coming to be. It is intended to show that Aristotle is able to unify both kinds of causes on the basis of the idea that a thing’s substance is its end. He is not confused about the cause of being and of coming to be, as it might seem in several passages. The paper’s focus is on Metaphysics Zeta 17. In contr...
متن کاملDevelopment and effectiveness of a comprehensive program for evaluating the performance of the educational system on the result of evaluation and educational accreditation of Shahid Beheshti hospital in Babol
ABSTRACT BACKGROUND AND OBJECTIVE: In order to evaluate the performance of teaching hospitals, the patterns of accreditation system as one of the most important packages of transformation and innovation plan in medical education, considered by the Ministry of Health. One of the serious challenges of the educational accreditation program is the use of a same standard set to evaluate the educatio...
متن کاملCornelia De Lange Syndrome and Cochlear Implantation
Introduction: Literature regarding the different degrees of hearing loss in patients with Cornelia de Lange syndrome (CDLS) reports that half of the affected patients exhibit severe to profound sensorineural hearing loss. We present the first pre-school child with CDLS who underwent cochlear implantation for congenital profound sensorineural hearing loss. Case Report: A 3-year-old boy with CD...
متن کاملSearching for the Origins of Schwab's Deliberative Curriculum Theory in the Thoughts of Aristotle, Dewey and Habermas
The main purpose of this study is exploring the roots and foundations of Schwab’s deliberative theory in curriculum. Therefore, after examining this theory in introduction, its foundations and origins were investigated. According to this, basic assumptions of this theory are practical and quasi practical arts, eclectic arts, commonplace and collective decision. Aristotle’s distinction between i...
متن کاملTransoral Resection of Giant Parapharyngeal Space Tumors via a Combined Surgical Approach
Introduction: Parapharyngeal space (PPS) tumors account for 0.5% of the head and neck neoplasms. Based on the evidence, 80% of these tumors are of a benign nature. Surgical excision is the treatment of choice for this condition. The present study was conducted to propose transoral resection as an efficient way to excise the benign well-defined tumors of the PPS. Materials and Methods: Thi...
متن کامل